Algebraic correctness proofs for compiling recursive function definitions with strictness informationINDERMARK, Klaus; NOLL, Thomas.Acta informatica. 2006, Vol 43, Num 1, pp 1-43, issn 0001-5903, 43 p.Article

Methods in mammalian cell line engineering: from random mutagenesis to sequence-specific approachesKRÄMER, Oliver; KLAUSING, Sandra; NOLL, Thomas et al.Applied microbiology and biotechnology. 2010, Vol 88, Num 2, pp 425-436, issn 0175-7598, 12 p.Article

Albrecht Altdorfers Radierungen der Synagoge in Regensburg: Zur Wahrnehmung jüdischer Lebenswelt im frühen 16. JahrhundertNOLL, Thomas.Abhandlungen der Akademie der Wissenschaften zu Göttingen. 2009, Vol Neue Folge, Band 4, pp 189-229, isbn 978-3-11-021352-2 3-11-021352-4, 41 p.Conference Paper

Verifying generic Erlang client-server implementationsARTS, Thomas; NOLL, Thomas.Lecture notes in computer science. 2001, pp 37-52, issn 0302-9743, isbn 3-540-41919-5Conference Paper

Functional programming languages for verification tools: a comparison of Standard ML and HaskellLEUCKER, Martin; NOLL, Thomas; STEVENS, Perdita et al.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 2, pp 184-194, issn 1433-2779, 11 p.Article

Spacecraft early design validation using formal methodsBOZZANO, Marco; CIMATTI, Alessandro; KATOEN, Joost-Pieter et al.Reliability engineering & systems safety. 2014, Vol 132, pp 20-35, issn 0951-8320, 16 p.Article

Intermedin induces loss of coronary microvascular endothelial barrier via derangement of actin cytoskeleton: role of RhoA and Rac1ASLAM, Muhammad; GÜNDÜZ, Dursun; SCHULER, Dominik et al.Cardiovascular research. 2011, Vol 92, Num 2, pp 276-286, issn 0008-6363, 11 p.Article

Stimulation of cGMP signalling protects coronary endothelium against reperfusion-induced intercellular gap formationKASSECKERT, Sascha A; SCHÄFER, Claudia; KLUGER, Angelika et al.Cardiovascular research. 2009, Vol 83, Num 2, pp 381-387, issn 0008-6363, 7 p.Article

Prediction of violent and sexual offences : A replication study of the VRAG in SwitzerlandURBANIOK, Frank; NOLL, Thomas; GRUNEWALD, Sonja et al.The Journal of forensic psychiatry & psychology (Print). 2006, Vol 17, Num 1, pp 23-31, issn 1478-9949, 9 p.Article

Evaluation of sulfatase-directed quinone methide traps for proteomicsLENGER, Janina; SCHRÖDER, Marius; ENNEMANN, Eva C et al.Bioorganic & medicinal chemistry. 2012, Vol 20, Num 2, pp 622-627, issn 0968-0896, 6 p.Article

Fast filtration for metabolome sampling of suspended animal cellsVOLMER, Martin; NORTHOFF, Stefan; SCHOLZ, Sebastian et al.Biotechnology letters. 2011, Vol 33, Num 3, pp 495-502, issn 0141-5492, 8 p.Article

Quantitative characterization of metabolism and metabolic shifts during growth of the new human cell line AGE1.HN using time resolved metabolic flux analysisNIKLAS, Jens; SCHRÄDER, Eva; SANDIG, Volker et al.Bioprocess and biosystems engineering (Print). 2011, Vol 34, Num 5, pp 533-545, issn 1615-7591, 13 p.Article

An extension of Christoffel duality to a subset of Sturm numbers and their characteristic wordsDOMINGUEZ, Manuel; NOLL, Thomas; CASTRILLON, Marco et al.Theoretical computer science. 2011, Vol 412, Num 27, pp 2942-2954, issn 0304-3975, 13 p.Article

Occurrence and recurrence of spontaneous chronic subdural haematoma is associated with a factor XIII deficiencyBOSCHE, Bert; MOLCANYI, Marek; BRINKER, Gerrit et al.Clinical neurology and neurosurgery (Dutch-Flemish ed.). 2013, Vol 115, Num 1, pp 13-18, issn 0303-8467, 6 p.Article

Unraveling the Chinese hamster ovary cell line transcriptome by next-generation sequencingBECKER, Jennifer; HACKL, Matthias; KALTSCHMIDT, Christian et al.Journal of biotechnology. 2011, Vol 156, Num 3, pp 227-235, issn 0168-1656, 9 p.Article

Insulin Stabilizes Microvascular Endothelial Barrier Function via Phosphatidylinositol 3-Kinase/Akt-Mediated Rac1 ActivationGÜNDÜZ, Dursun; THOM, Johannes; NOLL, Thomas et al.Arteriosclerosis, thrombosis, and vascular biology. 2010, Vol 30, Num 6, pp 1237-1245, issn 1079-5642, 9 p.Article

cAMP/PKA antagonizes thrombin-induced inactivation of endothelial myosin light chain phosphatase: role of CPI-17ASLAM, Muhammad; HÄRTEL, Frauke V; ARSHAD, Muhammad et al.Cardiovascular research. 2010, Vol 87, Num 2, pp 375-384, issn 0008-6363, 10 p.Article

Intermedin/adrenomedullin-2 is a hypoxia-induced endothelial peptide that stabilizes pulmonary microvascular permeabilityPFEIL, Uwe; ASLAM, Muhammad; PAPADAKIS, Tamara et al.American journal of physiology. Lung cellular and molecular physiology. 2009, Vol 41, Num 5, issn 1040-0605, L837-L845Article

Apoptosis of monocytes and the influence on yield of monocyte-derived dendritic cellsBOHNENKAMP, Hermann R; BURCHELL, Joy M; TAYLOR-PAPADIMITRIOU, Joyce et al.Journal of immunological methods. 2004, Vol 294, Num 1-2, pp 67-80, issn 0022-1759, 14 p.Article

Improved product formation in high density Chinese hamster ovary cell cultures transfected at confluencyNOLL, Thomas; EISENKRÄTZER, Detlef; KIESEWETTER, André et al.Biotechnology letters. 2002, Vol 24, Num 11, pp 861-866, issn 0141-5492Article

Shear stress-induced activation of the AMP-activated protein kinase regulates FoxO1a and angiopoietin-2 in endothelial cellsDIXIT, Madhulika; BESS, Elke; FISSLTHALER, Beate et al.Cardiovascular research. 2008, Vol 77, Num 1, pp 160-168, issn 0008-6363, 9 p.Article

Accumulation of extracellular ATP protects against acute reperfusion injury in rat heart endothelial cellsGÜNDÜZ, Dursun; KASSECKERT, Sascha A; HÄRTEL, Frauke V et al.Cardiovascular research. 2006, Vol 71, Num 4, pp 764-773, issn 0008-6363, 10 p.Article

A verification tool for ERLANG : ASTEC: an experience in the establishment of collaboration between academia and industryFREDLUND, Lars-Ake; GUROV, Dilian; NOLL, Thomas et al.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 4, pp 405-420, issn 1433-2779, 16 p.Article

ATP antagonism of thrombin-induced endothelial barrier permeabilityGÜNDFIZ, Dursun; HIRCHE, Frank; HÄRTEL, Frauke Viola et al.Cardiovascular research. 2003, Vol 59, Num 2, pp 470-478, issn 0008-6363, 9 p.Article

Cultivation of hematopoietic stem and progenitor cells: Biochemical engineering aspectsNOLL, Thomas; JELINEK, Nanni; SCHMIDT, Sebastian et al.Advances in biochemical engineering, biotechnology. 2002, Vol 74, pp 111-128, issn 0724-6145Article